show that logical equivalent